Type-aligned Sequence